Intuitionistically. a set has to be given by a finite construction or by a construction-project generating the elements of the set in the course of time. Quantification is only meaningful if the range of each quantifier is a well-circumscribed set. Thinking upon the meaning of quantification, one is led to insights?in particular, the so-called continuity principles?which are surprising from a classical point of view. We believe that such considerations lie at the basis of Brouwer?s reconstruction of mathematics. The predicate ?α (...) is lawless? is not acceptable, the lawless sequences do not form a well-circumscribed intuitionistic set, and quantification over lawless sequences does not make sense. (shrink)

Although there is little empirical doubt of the cerebral base of consciousness, it still has an unapproachable quality about it. Gerald Edelman and Giulio Tononi offer a hypothesis that should give us the tool to start disentangling the 'world knot', an image Arthur Schopenhauer used to describe the problem of the origin of consciousness. Their primary focus is not the richness in everyday experience, but the conditions that allow us that experiential richness -- a difficult enough task, as most would (...) admit reading the book. It shows how the cranial barrier can be overcome by new observation techniques, producing a plethora of experimental data in support of the concepts and theories described in the book. This material leads to the formulation of the dynamic-core hypothesis which describes the necessary biological conditions for consciousness. (shrink)

Having studied mathematics, in particular foundations and philosophy of mathematics, it happened that I was asked to teach logic to the students in the Faculty of Philosophy of the Radboud University Nijmegen. It was there that I discovered that logic is much more than just a mathematical discipline consisting of definitions, theorems and proofs, and that logic can and should be embedded in a philosophical context. After ten years of teaching logic at the Faculty of Philosophy at the Radboud University (...) Nijmegen, thirty years at the Faculty of Philosophy of Tilburg University and nine years at the Faculty of Philosophy of the Erasmus University Rotterdam, I got many ideas how to improve my LOGIC book which was published twenty five years ago in 1993 by Verlag Peter Lang. Although the amount of work was enormous, I felt I should do it. It is like working on a large painting where you put some extra color in one corner, add a little detail at another place, shed some more light on a particular face, etc. (shrink)

We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logical notions considered we suggest that the “most natural” reading (which is not the same for all cases) is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.

The distinction between the body schema and the body image has become the stock in trade of much recent work in cognitive neuroscience and philosophy. Yet little is known about the interactions between these two types of body representations. We need to account not only for their dissociations in rare cases, but also for their convergence most of the time. Indeed in our everyday life the body we perceive does not conflict with the body we act with. Are the body (...) image and the body schema then somehow reshaping each other or are they relatively independent and do they only happen to be congruent? On the basis of the study of bodily hallucinations, we consider which model can best account for the body schema/body image interactions. (shrink)

This paper addresses the two interpretations that a combination ofnegative indefinites can get in concord languages like French:a concord reading, which amounts to a single negation, and a doublenegation reading. We develop an analysis within a polyadic framework,where a sequence of negative indefinites can be interpreted as aniteration of quantifiers or via resumption. The first option leadsto a scopal relation, interpreted as double negation. The secondoption leads to the construction of a polyadic negative quantifiercorresponding to the concord reading. Given that (...) sentential negationparticipates in negative concord, we develop an extension of thepolyadic approach which can deal with non-variable binding operators,treating the contribution of negation in a concord context assemantically empty. Our semantic analysis, incorporated into agrammatical analysis formulated in HPSG, crucially relies on theassumption that quantifiers can be combined in more than one wayupon retrieval from the quantifier store. We also considercross-linguistic variation regarding the participation ofsentential negation in negative concord. (shrink)

Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...) language. Set theory is presented both as a conditio sine qua non for logic and as a interesting exact ontology. The study of infinite sets yields perplexing results. Formalization of informal number theory results in formal number theory; Godel's incompleteness is treated. At appropriate places attention is paid to paradoxes, intuitionism, conditionals, the historical development of logic, to logic programming and automated theorem proving for classical logic.". (shrink)

A large-scale field experiment in Rotterdam, Netherlands, tested whether nudging could increase public transport use. During one work week, 4000 commuters on six bus lines, received a free travel card holder. On the three bus lines in the experimental condition, the card holders displayed a social label that branded bus passengers as sustainable travelers because of their bus use. On the three bus lines in the control condition, there was no such message on the card holders. Analysis of the number (...) of rides per hour showed that the intervention led to a change from pre-intervention to post-intervention period that was estimated to be 1.18 rides per day greater on experimental lines than on control lines. This experiment shows that public transport operators can increase public transport use by incorporating messages that positively label passengers as sustainable travelers in their communication strategies. (shrink)

Natural languages make prolific use of conventional constituent‐ordering patterns to indicate “who did what to whom,” yet the mechanisms through which these regularities arise are not well understood. A series of recent experiments demonstrates that, when prompted to express meanings through silent gesture, people bypass native language conventions, revealing apparent biases underpinning word order usage, based on the semantic properties of the information to be conveyed. We extend the scope of these studies by focusing, experimentally and computationally, on the interpretation (...) of silent gesture. We show cross‐linguistic experimental evidence that people use variability in constituent order as a cue to obtain different interpretations. To illuminate the computational principles that govern interpretation of non‐conventional communication, we derive a Bayesian model of interpretation via biased inductive inference and estimate these biases from the experimental data. Our analyses suggest people's interpretations balance the ambiguity that is characteristic of emerging language systems, with ordering preferences that are skewed and asymmetric, but defeasible. (shrink)

We introduce an implication-with-possible-exceptions and define validity of rules-with-possible-exceptions by means of the topological notion of a full subset. Our implication-with-possible-exceptions characterises the preferential consequence relation as axiomatized by Kraus, Lehmann and Magidor [Kraus, Lehmann, and Magidor, 1990]. The resulting inference relation is non-monotonic. On the other hand, modus ponens and the rule of monotony, as well as all other laws of classical propositional logic, are valid-up-to-possible exceptions. As a consequence, the rules of classical propositional logic do not determine the (...) meaning of deducibility and inference as implication-without-exceptions. (shrink)

Woodward’s interventionist theory of causation is beset by a problem of circularity: the analysis of causes is in terms of interventions, and the analysis of interventions is in terms of causes. This is not in itself an argument against the correctness of the analysis. But by requiring us to have causal knowledge prior to making any judgements about causation, Woodward’s theory does make it mysterious how we can ever start acquiring causal knowledge. We present a solution to this problem by (...) showing how the interventionist notion of causation can be rationally generated from a more primitive agency notion of causation. The agency notion is easily and non-circularly applicable, but fails when we attempt to capture causal relations between non-actions. We show that the interventionist notion of causation serves as an appropriate generalisation of the agency notion. Furthermore, the causal judgements based on the latter generally remain true when rephrased in terms of the former, which allows one to use the causal knowledge gained by applying the agency notion as a basis for applying Woodward’s interventionist theory. We then present an overview of relevant empirical evidence from developmental psychology which shows that our proposed rational reconstruction lines up neatly with the actual development of causal reasoning in children. This gives additional plausibility to our proposal. The article thus provides a solution to one of the main problems of interventionism while keeping Woodward’s analysis intact. (shrink)

Este trabalho é um breve estudo sobre a análise literária de textos cristãos elaborada por Erich Auerbach. O objetivo é destacar como, a partir do sermão 256 de Santo Agostinho e da Bíblia, Auerbach ilumina a articulação do sublime cristão com o sermo humilis , ou seja, incorpora a linguagem ordinária e temas prosaicos cotidianos para transmitir a mensagem religiosa. Do ponto de vista teórico-conceitual, faremos uma breve exposição sobre teoria da literatura, mais especificamente, sobre mimesis e literatura, como forma (...) de pensar a abordagem de textos cristãos. Segundo Auerbach, o texto cristão, num mundo bastante conturbado, incorporou a vida e a linguagem simples das pessoas para, então, configurar uma nova forma do sublime. Concluímos que o texto cristão, visando a uma formulação religiosa (normativa), para isso trouxe para seu interior aquilo que definimos como dinâmica histórica, para trabalhá-la numa proposta de sentido. Palavras-chave : Erich Auerbach. Sermo humilis. S ublime. Literatura. Mímesis. (shrink)

O presente artigo tem como objetivo pensar a importância da territorialidade para a produção da música ao vivo contemporânea. A partir da análise da turnê “Na Sala de Estar” da banda gaúcha Apanhador Só, da rede global Sofar Sounds e de iniciativas independentes como a Undertow Music Collective, busca-se entender, com base nas noções de território-rede, territorialidade e território sônico-musical, a apropriação de ambientes domésticos para a produção de concertos independentes. Contribuindo para uma percepção das estratégias de ocupação de novos (...) produtores, artistas e fãs ao redor do mundo. (shrink)

In this article, we model FPTP systems as social preference rules and give two characterizations. We show that a social preference rule is an FPTP system if, and only if, it satisfies the axioms of subset consistency, district consistency, subset cancellation, and district cancellation. The second characterization consists of the axioms of subset consistency, subset anonymity, neutrality, topsonlyness, Pareto optimality, district consistency and district cancellation. The characterizations give us an opportunity to compare the characteristic properties of FPTP systems to the (...) characteristic properties that we found for list systems of proportional representation (list PR systems) in Hout et al. (Social Choice and Welfare, 27:459–475, 2006), where we modelled those systems also as social preference rules. We find that consistency and anonymity distinguish list PR systems from FPTP systems. On the other hand, it is district cancellation that distinguishes FPTP systems from list PR systems. (shrink)

Este artigo tem como objetivo abordar uma intervenção realizada nas turmas do primeiro ano do ensino médio de uma escola localizada na cidade de Ipu-Ceará no ano de 2018, na disciplina de filosofia, com o tema ''Mito da caverna de Platão''. Assim, foram feitas leituras em sala de aula de alguns trechos do livro A República de Platão que aborda o tema, juntamente com o livro didático Filosofando: Introdução à filosofia das autoras Maria Lúcia de Arruda Aranha e Maria Helena (...) Pires Martins com o intuito de referenciar as cavernas contemporâneas. Deste modo, foi utilizado o método de ensino cuja intenção era a de apresentar livros e recursos audiovisuais para fins educacionais. Com a compreensão do mito da caverna de Platão, portanto, conseguimos vinculá-lo a um assunto da realidade dos alunos: a indústria da beleza que padroniza uma determinada forma de comportamento nos indivíduos, causando-lhes sérios problemas físicos e psicológicos. Para sustentar essa ideia, trabalhou-se com dois videoclipes das cantoras Beyoncé (Pretty Hurts) e Colbie Caillat (Try) na tentativa de despertar a reflexão da necessidade de autovalorização e aceitação física, em um distanciamento das cavernas patriarcais. Enfim, esse artigo manifesta uma enorme contribuição para os jovens do ensino médio, especialmente, na sua autoaceitação e formação identitária na medida em que compreendem os padrões como formas de aprisionamentos. Assim, conclui-se que estas discussões são relevantes por despertarem temas caros e reais aos jovens, tanto que promovem adoecimentos psicológicos. O propósito é o de expandir a discussão de tal forma que eles mesmos possam dialogar sobre o assunto. (shrink)

O artigo pretende expor uma visão crítica sobre a teoria da secularização defendida por Carl Schmitt e sobre a reflexão de Martin Heidegger a respeito da metafísica do sujeito. Mais precisamente, nosso foco recai criticamente sobre a equivalência entre niilismo e autolegislação humana presente na obra de ambos os autores. Nosso objetivo é apreender tais formulações em duas dimensões imbricadas: uma delas, teórico-filosófica, e a outra, histórica. Em seguida, buscamos colocá-las em perspectiva crítica tendo em vista especialmente a reflexão desenvolvida (...) por Hans Blumenberg e alguns de seus comentaristas. Pretendemos proceder a contraposição entre (i) a noção de autolegislação humana como niilismo e (ii) a legitimidade do espaço do simbólico. Sem negar a crítica ao racionalismo limitante, que inclui a superação do sujeito cartesiano, a abordagem que defendemos legitima a dimensão de mediação entre o tempo da vida e tempo do mundo, mediação que pode se dar tanto pela elaboração científica quanto pelo pensamento filosófico ou religioso. Por fim, buscamos apontar a relação entre o espaço simbólico e a superação da noção de mímesis como imitação ou simples adequação. Palavras-chave: Autolegislação humana. Niilismo. Simbólico. Mímesis .The article aims to expose a critical view about the theory of secularization advocated by Carl Schmitt and also about Martin Heidegger's reflection on metaphysics of the subject. More precisely, our focus rests critically upon the equivalence between nihilism and human self-legislation present in the work of both authors. Our goal is to apprehend such formulations in two imbricated dimensions: one, theoretical and philosophical, and the other historical. Then, we seek to put both in a critical perspective, in special the reflection developed by Hans Blumenberg and some of his commentators. We intend to make the counterposition between (i) the notion of human self-legislation as nihilism and (ii) the legitimacy of the symbolic space. Without denying the critique of the limiting rationalism, which includes the overcoming the Cartesian subject, the approach we advocate legitimates the dimension of mediation between life-time and world-time, mediation that can occur either by scientific elaboration or by philosophical or religious thought. Finally, we seek to point out the relationship between the symbolic space and the overcoming on the notion of mimesis as an imitation or a mere adequacy. Keywords: Human self-legislation. Nihilism. Symbolic. Mímesis. (shrink)

The development of synthetic biology calls for accurate understanding of the critical functions that allow construction and operation of a living cell. Besides coding for ubiquitous structures, minimal genomes encode a wealth of functions that dissipate energy in an unanticipated way. Analysis of these functions shows that they are meant to manage information under conditions when discrimination of substrates in a noisy background is preferred over a simple recognition process. We show here that many of these functions, including transporters and (...) the ribosome construction machinery, behave as would behave a material implementation of the informationmanaging agent theorized by Maxwell almost 150 years ago and commonly known as Maxwell’s demon (MxD). A core gene set encoding these functions belongs to the minimal genome required to allow the construction of an autonomous cell. These MxDs allow the cell to perform computations in an energy-efficient way that is vastly better than our contemporary computers. (shrink)

The neutralization of contrasts in form or meaning that is sometimes observed in language production and comprehension is at odds with the classical view that language is a systematic one-to-one pairing of forms and meanings. This special issue is concerned with patterns of forms and meanings in language. The papers in this special issue arose from a series of workshops that were organized to explore variants of bidirectional Optimality Theory and Game Theory as models of the interplay between the speaker’s (...) and the hearer’s perspective. (shrink)

Expediente - Horizonte, Belo Horizonte, v. 17, n. 54, set.-dez. 2019.